Definable partitions and reflection properties for regular cardinals.
نویسندگان
چکیده
منابع مشابه
Definable Tree Property Can Hold at All Uncountable Regular Cardinals
Starting from a supercompact cardinal and a measurable above it, we construct a model of ZFC in which the definable tree property holds at all uncountable regular cardinals. This answers a question from [1]
متن کاملFull Reflection of Stationary Sets at Regular Cardinals
0. Introduction. A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set T ⊆ κ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. We prove that the Axiom of Full Reflection which states that every stationary set reflects fully at regular cardinals, together with the ...
متن کاملDefinable cardinals just beyond R/Q
We establish the inexistence of countable bases for the family of definable cardinals associated with countable Borel equivalence relations which are not measure reducible to E0, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push the primary known results concerning the abstract structure of the Borel cardinal hierarchy nearly to its base, using arguments sub...
متن کاملClones on Regular Cardinals
We investigate the structure of the lattice of clones on an infinite set X . We first observe that ultrafilters naturally induce clones; this yields a simple proof of Rosenberg’s theorem: there are 2 λ many maximal (= “precomplete”) clones on a set of size λ. The clones we construct do not contain all unary functions. We then investigate clones that do contain all unary functions. Using a stron...
متن کاملLarge cardinals and definable well-orders, without the GCH
We show that there is a class-sized partial order P with the property that forcing with P preserves ZFC, supercompact cardinals, inaccessible cardinals and the value of 2κ for every inaccessible cardinal κ and, if κ is an inaccessible cardinal and A is an arbitrary subset of κκ, then there is a P-generic extension of the ground model V in which A is definable in 〈H(κ+)V[G],∈〉 by a Σ1-formula wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1985
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870931